... теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула ( Read more... )